Verifying Web Services Choreography using Dead Marking (Deceased Smearing) Algorithm
نویسندگان
چکیده
Internet is a network of interlinked computer networking worldwide, which is accessible to the general public. Web services are a method of communication between two electronic devices over the web (internet). The W3C defines a “web service” as a software system designed to support interoperable machine to machine interaction over the “network”. Web service composition provides an open, standard – based approach for connecting web services together to create higher level business processes. This web service composition turns out to be a major research issues. I.e. Only limited number of verification approaches is available. The existing approaches concentrate mainly on composition and not on verification. Thus, there is a need for verification of web service composition. This paper proposes a new model called Buchi automata and introducing a new algorithm called dead marking algorithm (Deceased smearing ) for verifying the composed web services. It identifies whether the state is in dead or not.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Novel Approach for Verifying Web Services Composition Using Muller Transition Algorithm
Web Services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services together to from new valed added services. The main problem is the verification of the Composed Web Services. It has to depend on formal verification method which helps to check the correctness of Ser...
متن کاملModeling, verifying and reasoning about web services
This paper describes the research activities carried out in the context of the Italian MIUR Project PRIN 2005 “Specification and verification of agent interaction protocols”, concerning the area of modeling, verification and reasoning about web services. Web services are an emergent paradigm for implementing business collaborations over the web. Each service has an interface that is accessible ...
متن کاملVerifying web service conformance and interoperability w.r.t. a global choreography
Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol specification; it does not refer to specific peers and, especially in an open application domain, it might be necessary to retrieve a set of web services that fit in it. A crucial issue, that is raising attention...
متن کاملCSP-Based Verification for Web Service Orchestration and Choreography
Service-oriented computing aspires to an unprecedented level of platform-independence and inter-operability of software components for intra-and inter-organizational business processes through standard protocols and languages for workflows and process-oriented applications. The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CD...
متن کامل